A Hybrid Intuitionistic Logic: Semantics and Decidability
نویسندگان
چکیده
منابع مشابه
A Hybrid Intuitionistic Logic: Semantics and Decidability
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate properties in a particular place, in some place and in all places. We give a sound and complete Kripke semantics for the logic extended with disjunctive connectives. The extended logic can be seen as an instance of Hybrid IS5. ...
متن کاملIntuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hy...
متن کاملSemantics of intuitionistic propositional logic
Intuitionistic logic is a weakening of classical logic by omitting, most prominently, the principle of excluded middle and the reductio ad absurdum rule. As a consequence, this logic has a wider range of semantical interpretations. The motivating semantics is the so called Brouwer-Heyting-Kolmogorov interpretation of logic. The propositions A,B,C, . . . are regarded as problems or tasks to be s...
متن کاملNeighborhood Semantics for Basic and Intuitionistic Logic
In this paper we present a neighborhood semantics for Intuitionistic Propositional Logic (IPL). We show that for each Kripke model of the logic there is a pointwise equivalent neighborhood model and vice versa. In this way, we establish soundness and completeness of IPL with respect to the neighborhood semantics. The relation between neighborhood and topological semantics are also investigated....
متن کاملEpistemic semantics for classical and intuitionistic logic
1 In this paper I propose to explain how several nonstandard semantic systems for the propositional logic can be seen as employing essentially the same principles for defining the notion of logical entailment and the more basic idea of assignment of truth-values to molecular sentences. The systems are Kleene's three-valued matrix for the strong connectives, Lukasiewicz's three-valued matrix, su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2006
ISSN: 1465-363X,0955-792X
DOI: 10.1093/logcom/exi071